|
対偶(たいぐう、) とは、ある命題が成立する場合に、その命題の仮定と結論の両方を否定した命題も成立するという命題同士の関係性の事を言う。 命題「AならばB」の対偶は「BでないならAでない」である。 論理記号を用いて説明すると、命題「''A'' ⇒ ''B''」の対偶は「¬''B''⇒ ¬''A''」（¬''A'' は命題 ''A'' の否定）である。 通常の数学では、命題「AならばB」の真偽とその対偶「BでないならAでない」の真偽とは必ず一致する(すなわち真理値が等しい）。 数学では、元の命題「AならばB」の証明が難しくても、その対偶「BでないならAでない」の証明は比較的易しい場合がある。「AならばB」と「BでないならAでない」との真偽は一致するので、このようなときには対偶「BでないならAでない」のほうを証明すれば「AならばB」を証明できる（対偶論法）。 ==関連概念== 命題「AならばB」に対し、 * 対偶：「BでないならAでない」 * 逆：「BならばA」 * 裏：「AでないならBでない」 がある。 対偶の場合とは異なり、元の命題「AならばB」が正しくとも逆・裏は必ずしも正しいとは限らない（逆は必ずしも真ならず）。 しかし逆命題「BならばA」の対偶は、「AならばB」の裏「AでないならBでない」と一致するので、逆「BならばA」と裏「AでないならBでない」の真偽は必ず一致する。 自然言語（とくに日常語や文学・比喩表現）では、論理学における論理的関係が常にそのまま適用できるとは限らず、命題と対偶命題が異なる真理値を持つように見えることがある。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「対偶 (論理学)」の詳細全文を読む スポンサード リンク
|